36 ideas
| 6814 | Instead of prayer and charity, sinners pursue vain disputes and want their own personal scripture [Mohammed] |
| 19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
| 19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
| 19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
| 19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
| 19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
| 19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
| 19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
| 19121 | We can reduce properties to true formulas [Halbach/Leigh] |
| 19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
| 3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
| 3979 | The Turing Machine is the best idea yet about how the mind works [Fodor on Turing] |
| 5321 | In 50 years computers will successfully imitate humans with a 70% success rate [Turing] |
| 6828 | You may break off a treaty if you fear treachery from your ally [Mohammed] |
| 6823 | Repay evil with good and your enemies will become friends (though this is hard) [Mohammed] |
| 6826 | Allah rewards those who are devout, sincere, patient, humble, charitable, chaste, and who fast [Mohammed] |
| 6822 | Those who avenge themselves when wronged incur no guilt [Mohammed] |
| 6833 | Punish theft in men or women by cutting off their hands [Mohammed] |
| 6832 | Killing a human, except as just punishment, is like killing all mankind [Mohammed] |
| 6825 | Do not kill except for a just cause [Mohammed] |
| 6811 | Allah is lord of creation, compassionate, merciful, king of judgement-day [Mohammed] |
| 6819 | True believers see that Allah made the night for rest and the day to give light [Mohammed] |
| 6818 | Allah cannot have begotten a son, as He is self-sufficient [Mohammed] |
| 6834 | Unbelievers try to interpret the ambiguous parts of the Koran, simply to create dissension [Mohammed] |
| 6831 | He that kills a believer by design shall burn in Hell for ever [Mohammed] |
| 6827 | Make war on the unbelievers until Allah's religion reigns supreme [Mohammed] |
| 6824 | Do not split into sects, exulting in separate beliefs [Mohammed] |
| 6821 | I created mankind that it might worship Me [Mohammed] |
| 6817 | The Koran is certainly composed by Allah; no one could compose a chapter like it [Mohammed] |
| 6829 | There shall be no compulsion in religion [Mohammed] |
| 6815 | Be patient with unbelievers, and leave them to the judgement of Allah [Mohammed] |
| 6820 | The righteous shall dwell on couches in gardens, wedded to dark-eyed houris [Mohammed] |
| 6812 | Heaven will be reclining on couches, eating fruit, attended by virgins [Mohammed] |
| 6816 | The unbelievers shall drink boiling water [Mohammed] |
| 6830 | Unbelievers will have their skin repeatedly burned off in hell [Mohammed] |